$\forall$$i$:$\mathbb{Z}$, $j$:\{$\ldots\,$$i$\}. $j$ $\leq$ $i$